Fundamentals of Fuzzy Prolog
نویسندگان
چکیده
In this paper, a Fuzzy Prolog is introduced that is based on the fuzzy resolution principle. There are three levels of concern: (1) the f u z ~ truth values of predicates that depend on several values of individual variables, (2) the weights of rules that depend on several fuzzy truth values of premise and conclusion, and (3) the confidence of resolvent that depends on the fuzzy resolution principle. With these three levels, we introduce fuzziness into the resolution principle and unification and cause fuzzy logical inference to be significant in Fuzzy Prolog when the values of all variables are taken in the closed interval [0, 1].
منابع مشابه
Approximative Reasoning and Fuzzy Queries with Linguistic Quantification in Prolog Databases
– Approximate reasoning and fuzzy queries are efficient methods in retrieving information from large databases when precise attributes are unknown or the model itself is vague. We explore such types of reasoning based on the notions of the possibility theory. We suggest an approach towards a Prolog implementation of such queries which takes into account fuzzy linguistic quantification, aggregat...
متن کاملExtending Prolog with Incomplete Fuzzy Information
Incomplete information is a problem in many aspects of actual environments. Furthermore, in many sceneries the knowledge is not represented in a crisp way. It is common to find fuzzy concepts or problems with some level of uncertainty. There are not many practical systems which handle fuzziness and uncertainty and the few examples that we can find are used by a minority. To extend a popular sys...
متن کاملAn efficient fuzzy unification method and its implementation into the Bousi~Prolog system
Bousi∼Prolog is a fuzzy logic programming language whose main objective is to make flexible the query answering process. Its operational mechanism is a extension of the SLD-resolution (called weak resolution) where the classical syntactic unification algorithm has been replaced by a fuzzy one. This paper presents a generic method for the unification of linguistic terms (i.e. fuzzy sets) which i...
متن کاملUNICORN: A Programming Environment for Bousi∼Prolog
Bousi∼Prolog is a fuzzy logic programming language which is an extension of the standard Prolog language. The Bousi∼Prolog operational semantics is an adaptation of the SLD resolution principle, where classical unification has been replaced by a fuzzy unification algorithm based on proximity relations. Unicorn is a programming environment for the Bousi∼Prolog language. This environment will pro...
متن کاملIncomplete Fuzzy Information in Prolog
Incomplete information is a problem in many aspects of actual environments. In many sceneries the knowledge is not represented in a crisp way. It is common to find fuzzy concepts or problems with some level of uncertainty. It is difficult to find practical systems which handle fuzziness and uncertainty and the few examples that we can find are minority. To extend a popular system (which many of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Int. J. Approx. Reasoning
دوره 3 شماره
صفحات -
تاریخ انتشار 1989